How to differentiate tan(xy)-y^2=1